机译:自动综合嵌入式软件,以评估支持内存空间分离的UML / MARTE模型中的物理实现方案
机译:使用系统执行跟踪评估分布式实时和嵌入式系统测试的正确性
机译:安全状态UML:使用UML状态机对软件系统的安全问题进行建模和测试
机译:嵌入式系统UML模型上测试用例的自动执行
机译:使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
机译:编辑者的选择:在TRUST试验中对于计划的ICD随访自动远程监控与亲自评估相比具有优势-测试建议的执行情况
机译:嵌入式系统UML模型上测试用例的自动执行